Quality assurance with dynamic meta modeling

نویسنده

  • Christian Soltenborn
چکیده

One way to deal with the complexity of today’s software systems is model-driven development (MDD), where the target software system is first modeled on a very abstract level in a platform-independent way (e.g., by using UML use cases), and then—step by step—refined. The final, platform-specific model contains enough information to serve as input for code generation of the target system. MDD has several benefits: For instance, the (usually visual) modeling languages allow for better communication with stakeholders, which is particularly true when using domain-specific languages (DSLs), i.e., languages containing concepts of the problem domain. Another advantage is that the modeler’s task is simplified by the small complexity of getting from one to the next abstraction level, some steps of which are even applied using automatic model transformations. MDD is most beneficial if the modeling languages in use have a well-defined syntax and semantics. This is often true for the syntax and static semantics part, e.g. by using MOF metamodeling techniques as suggested by the Object Management Group. For the behavioral semantics, the situation is usually worse. For instance, the UML has a MOF-based syntax definition, but its behavioral semantics is defined with natural language, leaving room for ambiguities. The same is true for many DSLs. One reason for this is that semantics specification for behavioral modeling languages is a difficult task. This is where Dynamic Meta Modeling (DMM) comes into play. DMM is a semantics specification technique targeted at MOFbased modeling languages, where a language’s behavior is defined by means of graphical operational rules which change runtime models. The DMM approach has first been suggested by Engels et al. in 2000 [63]; Hausmann has then defined the DMM language on a conceptual level within his PhD thesis in 2006 [96]. Consequently, the next step was to bring the existing DMM concepts alive, and then to apply them to different modeling languages, making use of the lessons learned to improve the DMM concepts as well as the DMM tooling. The result of this process is the DMM++ method, which is presented within this thesis. Our contributions are three-fold: First, and according to our experiences with the DMM language, we have introduced new concepts such as refinement by means of rule overriding, and we have strengthened existing concepts such as the dealing with universal quantified structures or attributes. Second, we have developed a test-driven process for semantics specification: A set of test models is created, and their expected behavior is fixed. Then, the DMM rules are created incrementally, finally resulting in a DMM ruleset realizing at least the expected behavior of the test models. Additionally, we have defined a set of coverage criteria for DMM rulesets which allow to measure the quality of a set of test models. Third, we have shown how functional as well as non-functional requirements can be formulated against models and their DMM specifications. The former is achieved by providing a visual language for formulating temporal logic properties, which are then verified with model checking techniques, and by allowing for visual debugging of models failing a requirement. For the latter, the modeler can add performance information to models and analyze their performance properties, e.g. average throughput.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Deriving Model Metrics from Meta Models

The use of model-based software development has become more and more popular because it aims to increase the quality of software development. Therefore, the number and the size of model instances are cumulatively growing and software quality and quality assurance consequently lead back to the quality and quality assurance of the involved models. For model quality assurance, several quality aspe...

متن کامل

A Generic Framework for Automated Quality Assurance of Software Models –Implementation of an Abstract Syntax Tree

Abstract Syntax Tree’s (AST) are used in language tools, such as compilers, language translators and transformers as well as analysers; to remove syntax and are therefore an ideal construct for a language independent tool. AST’s are also commonly used in static analysis. This increases the value of ASTs for use within a universal Quality Assurance (QA) tool. The Object Management Group (OMG) ha...

متن کامل

Meta-Modeling Based Secure Software Development Processes

This work suggests a multilevel support to software developers, who often lack knowledge and skills on how to proceed to develop secure software. In fact, developing software with such quality is a hard and complex task that involves many additional security-dedicated activities which are usually omitted in traditional software development lifecycles or integrated but not efficiently and approp...

متن کامل

Technical note: a deformable phantom for dynamic modeling in radiation therapy.

A deformable phantom was developed to aid in quality assurance for dynamic imaging and targeting techniques in radiation therapy. Made of simple materials combined with standard components for imaging and motion experiments, this phantom can be relatively easily constructed and used for both diagnostic imaging and dosimetry. Repeat imaging studies indicate that the phantom meets criteria of rel...

متن کامل

A Hybrid Meta-heuristic for the Dynamic Layout Problem with Transportation System Design

This paper primarily presents a comprehensive dynamic layout design model which integrates layout and transportation system design via considering more realistic assumptions, such as taking account of fixed-position departments and distance between departments that endanger each other. In addition, specific criteria such as capacity, cost and reliability of facilities are considered in transpor...

متن کامل

Therapeutic exercises can improve lower extremity functional indexes of people with dynamic knee valgus: A systematic review and meta-analysis

Purpose: One of the most significant contributors to lower extremity degeneration alterations and its effects on balance and sports performance is dynamic knee valgus faulty movement pattern. Different exercise interventions have been conducted to improve dynamic knee valgus. The extensive research and meta-objective analysis aimed to assess how exercise interventions affected people with dynam...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013